Alan Bundy (auth.): tražiti na sajtu Z-Library

Slobodan pristup znanju i kulturi.

Don't use scam websites

Knjige (11)
Najpopularnije
Spisak
- Spisak
- Tabela

1

Catalogue of Artificial Intelligence Tools

Catalogue of Artificial Intelligence Tools

Springer-Verlag Berlin Heidelberg

Alan Bundy, Lincoln Wallen (auth.), Alan Bundy, Lincoln Wallen (eds.)

Godina:

1984

Jezik:

english

Fajl:

PDF, 6.84 MB

0 / 0

english, 1984

2

Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

John Slaney (auth.), Alan Bundy (eds.)

Godina:

1994

Jezik:

english

Fajl:

DJVU, 8.06 MB

0 / 0

english, 1994

3

Catalogue of Artificial Intelligence Tools

Catalogue of Artificial Intelligence Tools

Springer Berlin Heidelberg

Alan Bundy (auth.), Alan Bundy (eds.)

Godina:

1986

Jezik:

english

Fajl:

PDF, 3.63 MB

0 / 0

english, 1986

4

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

Godina:

1999

Jezik:

english

Fajl:

DJVU, 3.65 MB

0 / 0

english, 1999

5

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

Godina:

1999

Jezik:

english

Fajl:

PDF, 12.61 MB

0 / 0

english, 1999

6

Artificial Intelligence Techniques: A Comprehensive Catalogue

Artificial Intelligence Techniques: A Comprehensive Catalogue

Springer-Verlag Berlin Heidelberg

Alan Bundy (auth.), Alan Bundy (eds.)

Godina:

1997

Jezik:

english

Fajl:

PDF, 3.76 MB

0 / 0

english, 1997

7

MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings

MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Raúl Monroy, Alan Bundy, Ian Green (auth.), Osvaldo Cairó, L. Enrique Sucar, Francisco J. Cantu (eds.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 7.03 MB

0 / 0

english, 2000

8

Catalogue of Artificial Intelligence Techniques

Catalogue of Artificial Intelligence Techniques

Springer-Verlag Berlin Heidelberg

Alan Bundy (auth.), Alan Bundy (eds.)

Godina:

1990

Jezik:

english

Fajl:

PDF, 5.25 MB

0 / 0

english, 1990

9

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Springer-Verlag London

Ina Kraan, David Basin, Alan Bundy (auth.), Kung-Kiu Lau Bsc, PhD, Timothy Paul Clement Ma, DPhil (eds.)

Godina:

1993

Jezik:

english

Fajl:

PDF, 10.01 MB

0 / 0

english, 1993

10

Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

John Slaney (auth.), Alan Bundy (eds.)

Godina:

1994

Jezik:

english

Fajl:

PDF, 12.63 MB

0 / 0

english, 1994

11

MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings

MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Raúl Monroy, Alan Bundy, Ian Green (auth.), Osvaldo Cairó, L. Enrique Sucar, Francisco J. Cantu (eds.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 8.46 MB

0 / 0

english, 2000